#ifndef __GRAPHICSCONTEXT_H
#define __GRAPHICSCONTEXT_H

#include <driver/vga.h>

typedef Vga GraphicsContext ;

#endif